#ifndef _PLATFORM_H_
#define _PLATFORM_H_

#include "hwutil.h"
#include "task.h"

void* raw_task_create(void (*)(void *), const char *, char *, size_t , void *, uint8_t , uint8_t , uint8_t, err_t *);
void raw_task_start(void *);
void raw_task_delete(void *);

void raw_suspend_task(void *);
void raw_resume_task(void *);

#define get_current()                       (struct thread_info  *)(__get_current_task()->arg)

#define tasksched_disable()                 __tasksched_disable()
#define tasksched_enable()                  __tasksched_enable()

#define task_find(s)                        1

#endif

